Model-Based Monitoring of Software Components
نویسنده
چکیده
The development of component-based software systems opens the possibility of using model-based diagnosis techniques for large software systems. We have developed a simple monitoring system based on the modeling of the external behavior of software components by Petri nets. With each component is associated a local controller which observes the messages received and sent by the component and compares them with the specified behavior. As the components interact, information is collected on error emission and time constraint violation to infer indicators about the state of components.
منابع مشابه
Model-based monitoring of component-based software systems
The development of component-based software systems opens the possibility of using model-based diagnosis techniques for large software systems. We have developed a simple monitoring system based on the modeling of the external behavior of software components by Petri nets. With each component is associated a local controller which observes the messages received and sent by the component and com...
متن کاملDesign of a Resilience Model Based on the Institutionalization of Organizational Learning in the Red Crescent Society
INTRODUCTION: In Iran, natural disasters are constantly increasing; however, no research has clearly explained the indicators of resilience in such situations. Resilience enhances internal strengths and protects against potential threats to maintain and promote the health of the community. The present study aimed to design a crisis resilience model based on the institutionalization of organizat...
متن کاملPavement performance prediction model development for Tehran
Highways and in particular their pavements are the fundamental components of the road network. They require continuous maintenance since they deteriorate due to changing traffic and environmental conditions. Monitoring methods and efficient pavement management systems are needed for optimizing maintenance operations. Pavement performance prediction models are useful tools for determining the op...
متن کاملApplying analyzing the hierarchy and AHP Approach to Provide Effective School Model
The study aimed to develop a model for effective school in the junior high school. The research has a descriptive-survey method. The statistical population included faculty members of the Education Department, heads and deputies of education organization, principals and educational assistants of schools, teachers and parents of high school students with a degree in education science in the nort...
متن کاملDesigning a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old
Introduction: Social skills are a fundamental link to all aspects of the life of children. This research was designed with the aim of designing a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old. Method: The research method was field research. The population of this study consisted of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004